invariant (C) c;
